| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Berechenbarkeit und Komplexität | Übung | 483725 | Mo 10:00-19:00 9U10 (2359|U112) (×1) Di 12:30-14:00 Grüner Hörsaal AM (Gr) (1420|001) (×11) | ||
| Fach-/Modulprüfung | 6 | 488427 | |||
| Vorlesung | 485837 | Di 16:00-20:30 Seminarraum i1, Raum 4017 (2353|017) (×1) Mi 14:00-18:00 AH IV (2354|030) (×1) Do 08:30-10:00 Großer Hörsaal AM (1420|210) (×11) Do 15:00-19:00 AH IV (2354|030) (×1) Fr 14:30-16:00 AachenMünchener Halle (Aula) (1010|131) (×1) Fr 14:30-16:00 Großer Hörsaal AM (1420|210) (×9) Fr 16:30-21:00 Seminarraum i1, Raum 4017 (2353|017) (×1) | |||
| Tutorium | 485656 | Do 10:30-12:00 5052 (2356|052) (×12) Do 10:30-12:00 S05 (1385|205) (×12) Do 10:30-12:00 S08 (1385|208) (×12) Do 10:30-12:00 S11 (1385|211) (×12) Do 10:30-12:00 S15 (1385|215) (×12) Do 10:30-12:00 SE 108 (1580|108) (×12) Do 10:30-12:00 SG 13 (1810|013) (×12) Fr 08:30-10:00 SFo 10 (1821|010) (×12) Fr 08:30-10:00 SFo 2 (1821|002) (×12) Fr 08:30-10:00 SFo 3 (1821|003) (×12) Fr 08:30-10:00 ST 2 (1665|002) (×12) Fr 08:30-10:00 ST 6 (1665|006) (×12) Fr 08:30-10:00 ST 7 (1665|007) (×11) Fr 08:30-10:00 Seminarraum i1, Raum 4017 (2353|017) (×1) Fr 10:30-12:00 5054 (2356|054) (×1) Fr 10:30-12:00 S08 (1385|208) (×11) Fr 10:30-12:00 S09 (1385|209) (×11) Fr 10:30-12:00 SE 108 (1580|108) (×12) Fr 10:30-12:00 ST 6 (1665|006) (×12) Fr 10:30-12:00 Seminarraum i1, Raum 4017 (2353|017) (×1) Fr 12:30-14:00 5052 (2356|052) (×12) Fr 12:30-14:00 5054 (2356|054) (×1) Fr 12:30-14:00 S09 (1385|209) (×11) Fr 12:30-14:00 S12 (1385|212) (×11) Fr 12:30-14:00 SE 108 (1580|108) (×12) Fr 12:30-14:00 SFo 1 (1821|001) (×12) Fr 12:30-14:00 SFo 2 (1821|002) (×12) Fr 12:30-14:00 SFo 9 (1821|009) (×12) Fr 12:30-14:00 ST 6 (1665|006) (×12) Fr 12:30-14:00 Seminarraum i1, Raum 4017 (2353|017) (×1) | |||
| Compilerbau | Fach-/Modulprüfung | 6 | 488864 | ||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 488497 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 491945 |